Smart Contract Languages

Blockchain is a disruptive technology that has attracted the attention of scientific community and companies, as proven by exponential growth publications on this topic in recent years. This growing interest mainly due to promise use blockchain enables it be verified, without including any trusted intermediaries, information received from network authentic up-to-date. In respect, distributed database can seen ledger records all transactions have ever been executed. context, smart contracts are pieces software used facilitate, verify, enforce negotiation transaction platform. These implemented using programming languages, which sometimes provided platforms themselves. study aims (1) identify categorise state-of-the-art related contract terms existing languages their main features, (2) new research opportunities. The review conducted multivocal mapping follows guidelines proposed Garousi et al. for conducting literature reviews, well Kitchenham Charters studies. As result implementation protocol, 4,119 papers were gathered, 109 them selected extraction. contributions article twofold: 101 different identified classified according variety criteria; discussion findings implications future outlined. conclusion, could stated rigorous replicable overview benefit not only researchers but also practitioners field, thanks its nature.